在物联网技术和智能手机普及全球的今天,网络已经完完全全渗透在世界上的每个角落。与此同时,网络安全的问题也越来越突出。作为网......

为了研究等离子体气动效应的内在机理,建立燃烧室助燃激励器中等离子体气动效应的数值仿真模型,通过求解电势方程和电荷密度方程,......

根据轮毂轴承单元的实际工作情况,运用Catia与ANSYS Workbench进行有限元协同仿真分析,并通过对比2种不同唇边的带凸缘内圈的力学......

目的研究黄背栎（Quercus pannosa Hand．-Mazz．）中的黄酮类化学成分。方法利用Sephadex LH-20及硅胶等柱色谱技术进行化合物的分离和纯......

介绍了高压可爆气体在起爆体中的应用及操作方法,并同普通起爆体进行了对比试验,为改善硐室爆破效果提供了一条新的途径.......

面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模......

化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化......

软件连接件是软件体系结构中的一个重要概念,是构件间相互作用的媒体.用形式化方法对其模型加以描述是软件体系结构研究中的一个重......

在等熵流和准定常流假设条件下，采用集总参量法，建立了弹后高压火药气体通过小孔在弹体内气室与弹后空间之间流动的气体参数理论计算......